Fifth Internation Conference on Computability and Complexity in Analysis August 21-24, 2008, Hagen, Germany provisional programme

Source URL: cca-net.de

• Computability theory
• Computable function
• Computable analysis
• Recursively enumerable set
• Oracle machine
• Computability
• High
• Reduction
• Mathematical logic

How few directions can a function over a finite field f determine ? How small can the set D(f ) be ? D(f ) = { f (y ) − f (x) | x, y ∈ Fq , x 6= y }

Source URL: www-ma4.upc.es

An Efficient Simulation-based Approach to Ambulance Fleet Allocation and Dynamic Redeployment Yisong Yue and Lavanya Marla and Ramayya Krishnan iLab, H. John Heinz III College Carnegie Mellon University 5000 Forbes Ave.

Source URL: select.cs.cmu.edu

• Mathematical optimization
• Operations research
• Systems science
• Academia
• Emergency medical services
• Submodular set function
• Simulation-based optimization
• Dynamic programming
• Ambulance
• Pareto efficiency

Linear Submodular Bandits and their Application to Diversified Retrieval Carlos Guestrin Machine Learning Department Carnegie Mellon University

Source URL: select.cs.cmu.edu

• Natural language processing
• Submodular set function
• Machine learning
• Recommender system
• Algorithm
• Information retrieval
• Online algorithm
• Multi-armed bandit
• Automatic summarization

Maximizing Submodular Set Function with Connectivity Constraint: Theory and Application to Networks Tung-Wei Kuo† ‡ , Kate Ching-Ju Lin† , and Ming-Jer Tsai‡ † Research Center for Information Technology Innova

Source URL: nms.citi.sinica.edu.tw

• Mathematics
• Graph theory
• Computational complexity theory
• Combinatorial optimization
• Submodular set function
• Edsger W. Dijkstra
• NP-complete problems
• Algorithm
• Shortest path problem
• HeldKarp algorithm
• Dominating set

OPEN QUESTIONS ABOUT RAMSEY-TYPE STATEMENTS IN REVERSE MATHEMATICS LUDOVIC PATEY Abstract. Ramsey’s theorem states that for any coloring of the n-element subsets of N with finitely many colors, there is an infinite set

Source URL: ludovicpatey.com

• Computability theory
• Mathematical logic
• Proof theory
• Theory of computation
• Logic in computer science
• Computable function
• Reverse mathematics
• PA degree
• Peano axioms

Turning Down the Noise in the Blogosphere Khalid El-Arini∗ Gaurav Veda∗ Carlos Guestrin∗

Source URL: select.cs.cmu.edu

• Information science
• Submodular set function
• World Wide Web
• Personalization
• Loss function
• Algorithm
• Statistics
• Information

A Multiplier Theorem Ka Hin Leung Department of Mathematics National University of Singapore Kent Ridge, SingaporeRepublic of Singapore

Source URL: www.ntu.edu.sg

• Algebra
• Mathematics
• Abstract algebra
• Group theory
• Combinatorics
• Order
• Divisor
• Difference set
• Multiplier
• Ring
• Algebraic number field
• Arithmetic function

2390 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 56, NO. 10, OCTOBER 2011 Simultaneous Optimization of Sensor Placements and Balanced Schedules

Source URL: select.cs.cmu.edu

• Operations research
• Mathematical optimization
• Submodular set function
• Program optimization
• Greedy algorithm
• Algorithm
• Linear programming
• Wireless sensor network
• Genetic algorithm scheduling
• Draft:Sensor selection

Simultaneous Placement and Scheduling of Sensors Andreas Krause Ram Rajagopal Caltech

Source URL: select.cs.cmu.edu

• Operations research
• Submodular set function
• Linear programming
• Wireless sensor network
• Mathematics
• Computer science
• Mathematical optimization
• Applied mathematics